package sistema.validador;
// Decompiled by DJ v3.7.7.81 Copyright 2004 Atanas Neshkov  Date: 29/3/2006 21:06:19
// Home Page : http://members.fortunecity.com/neshkov/dj.html  - Check often for new version!
// Decompiler options: packimports(3) 
// Source File Name:   VersionInfo.java

import java.io.PrintStream;

public class VersionInfo
{

    public VersionInfo()
    {
        moduleName = "Validator ";
        versionNumber = moduleName + "8.2 20021002 04";
        versionDate = "October 2nd, 2002 12:15am";
        contactEMail = "mailto:pc2@ecs.csus.edu";
    }

    public String getContactEMail()
    {
        return contactEMail;
    }

    public String getSystemName()
    {
        return "CSUS Programming Contest Control System";
    }

    public String getSystemVersionInfo()
    {
        String javaVer = System.getProperty("java.version", "?");
        String osName = System.getProperty("os.name", "?");
        String osArch = System.getProperty("os.arch", "?");
        String osVer = System.getProperty("os.version", "?");
        return "Version " + versionNumber + " (" + versionDate + ") Java ver " + javaVer + " OS: " + osName + " " + osVer + " (" + osArch + ") ";
    }

    public String getVersionDate()
    {
        return versionDate;
    }

    public String getVersionNumber()
    {
        return versionNumber;
    }

    public static void main(String args[])
    {
        String javaVer = System.getProperty("java.version", "?");
        String osName = System.getProperty("os.name", "?");
        String osArch = System.getProperty("os.arch", "?");
        String osVer = System.getProperty("os.version", "?");
        VersionInfo sri = new VersionInfo();
        System.out.println();
        System.out.println(sri.getSystemName());
        System.out.println("Version " + sri.getVersionNumber() + " (" + sri.getVersionDate() + ") ");
        System.out.println();
        System.out.println("Java version " + javaVer);
        System.out.println("OS: " + osName + " " + osVer + " (" + osArch + ") ");
        System.out.println();
        System.out.println(sri.getContactEMail());
        System.out.println();
        System.exit(0);
    }

    private String moduleName;
    private String versionNumber;
    private String versionDate;
    private String contactEMail;
}